A User Guide for TaLiRo
نویسندگان
چکیده
TaLiRo (TemporAl LogIc RObustness) is a tool for the computation of the robustness of a propositional temporal logic specification with respect to a discrete time signal. This document provides a brief introduction to Linear and Metric Temporal Logics, describes the usage of the toolbox and concludes with several examples. This guide refers to version v0.1 of TaLiRo.
منابع مشابه
S-TaLiRo: A Tool for Temporal Logic Falsification for Hybrid Systems
S-TaLiRo is a Matlab toolbox that searches for falsifying trajectories of temporal logic properties of Simulink/Stateflow models. It can analyze arbitrary Simulink models or user defined functions that model the system. At the heart of the tool, we use randomized testing based on stochastic optimization techniques including Monte-Carlo methods and ant-colony optimization. Among the advantages o...
متن کاملDemo: System Testing with S-TaLiRo: Recent Functionality and Additions
In this demo, we will demonstrate the latest features of S-TaLiRo, a modular software tool that provides various methods of testing and verification of hybrid systems. Demo Setup: We will bring a laptop and show how to use S-TaLiRo with different benchmark examples. We will also demonstrate the specification elicitation tool ViSpec.
متن کاملDemo: S-TaLiRo: A tool for Testing and Verification for Hybrid Systems: Recent Functionality and Additions
In this demo, we will demonstrate the latest features of S-TaLiRo, a modular software tool that provides various methods of verification and testing of hybrid systems, using a combination of stochastic optimization algorithms, and local descent methods.
متن کاملTowards Formal Specification Visualization for Testing and Monitoring of Cyber-Physical Systems
One of the main challenges in software development for safety-critical Cyber-Physical Systems (CPS) is in achieving a certain level of confidence in the system correctness and robustness. In order to perform formal monitoring, testing and verification of CPS, the fully modular tool S-TALIRO is presented. The tool is designed for seamless integration with the Model Based Design (MBD) process in ...
متن کاملجنبه های طراحی شناسنامه بیمار در سیستمهای شخصی سازی اطلاعات سلامت: مرور نظاممند حوزه
Introduction: Tailoring the content of health information to the needs, preferences and abilities of individuals, leads to more informed and empowered health consumers. Computerized tailoring of Health Information requires patient’s characteristics. A user profile consists of personal data which are basic components in designing computer-tailoring systems. The present study aimed to ident...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2008